Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
241	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
242	Managing Socio-spatial Data as Large Graphs Yerach Doytsher Ben Galon∗ Yaron Kanza∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-03-31 13:36:40 Data management Graph database Spatial network Graph Database R-tree Geographic information system Object-based spatial database Social network analysis software Graph theory Mathematics Database management systems
243	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
244	ASN1C Support for Information Objects and Parameterized Types Objective Systems, Inc., April 2002 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2004-07-07 00:00:00 Cross-platform software Type theory Data types Information Object Class Abstract Syntax Notation One Type safety C Pointer Type system Computing Software engineering Computer programming
245	SEARCHING ALGORITHMS AND DATA STRUCTURES FOR COMBINATORIAL, TEMPORAL AND PROBABILISTIC DATABASES By Rosalba Giugno Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-11 14:05:54 Database models Data Information Database Search algorithm Combinatorics Probabilistic database Graph database Object database Database management systems Data management Database theory
246	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Computing Data types Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Programming language theory Type theory
247	PDF Document Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-12-19 12:32:08 Programming language theory Technical support C ALGOL 68 Metadata Object Description Schema Wget Computing Procedural programming languages Software engineering
248	PDF Document Add to Reading List Source URL: www.cfconf.org Language: English - Date: 2013-04-18 09:23:18 Computer programming Abstract data types Type theory Object-oriented programming ColdFusion Stack Object Data structure Database Computing Software engineering Data types
249	PDF Document Add to Reading List Source URL: manovich.net Language: English - Date: 2014-06-09 12:52:55 Software Data Database theory Database models Database Lev Manovich Object database New media Data model Database management systems Data management Relational database management systems
250	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:30:58 Type theory Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 OCaml E Software engineering Computing Programming language theory

UPDATE